../common/run-5.8.sh